Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
781	DOC Document Add to Reading List Source URL: www.curriculumsupport.education.nsw.gov.au Language: English - Date: 2006-02-20 23:48:41 Metalanguage Metalogic Proof theory Marketing Advertising Television advertisement Apostrophe Film Visual arts Business Linguistics
782	Social Defaults: Observed Choices Become Choice Defaults Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2014-12-05 03:35:04 Decision theory Ethology Cognition Knowledge representation Attitude change Cognitive dissonance Default logic Social proof Choice Mind Social psychology Behavior
783	Ref: ISS/HAT/DAZ/WRK513 DAZ PROJECT Issue: 1.14 Calculator Example VCs Proof Scripts Date: 22 July 2011 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:55 Programming language theory Standard ML TAC Computer programming
784	Microsoft PowerPoint - prob18.ppt Add to Reading List Source URL: www.autonlab.org Language: English - Date: 2008-07-07 16:16:18 Probability theory Statistical classification Bayesian statistics IP Probability axioms Mathematical proof Naive Bayes classifier Probability Mathematics Statistics Mathematical logic
785	Mathematical Induction MATHEMATICAL INDUCTION Helen Bush Reflections, August 1992 Add to Reading List Source URL: www.hsc.csu.edu.au Language: English - Date: 2012-02-02 10:35:55 Proof theory Mathematical logic Integer sequences Mathematical series Mathematical induction Pi Factorial Mathematical fallacy Binomial coefficient Mathematics Mathematical analysis Mathematical proofs
786	PDF Document Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:59:11 Proof assistant Nqthm Five lemma Order theory Lemmas Mathematics Automated theorem proving
787	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
788	International Mathematical Olympiad Preliminary Selection Contest — Hong Kong 2006 Outline of Solutions Answers: Add to Reading List Source URL: www.mathdb.org Language: English - Date: 2007-02-08 21:04:12 Trigonometric functions Algebraic number theory Proof that π is irrational Pythagorean trigonometric identity Mathematics Mathematical analysis Trigonometry
789	IMPLICATIONAL RELEVANCE LOGIC IS 2-EXPTIME-COMPLETE arXiv:1402.0705v2 [cs.LO] 25 Sep[removed]SYLVAIN SCHMITZ Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-04 05:44:40 Deduction Rules of inference Converse Traditional logic Entailment Reachability Sequent calculus Implicational propositional calculus Logic Propositional calculus Proof theory
790	Rule-Based Interactive Fiction (Full Presentation) Chris R. Martens Zachary A. Sparks Claire E. Alvis Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-11-16 11:33:49 Non-classical logic Logic programming Reasoning Proof theory Logic in computer science Prolog Defeasible logic Curry–Howard correspondence Inference Logic Mathematics Mathematical logic

UPDATE